Modeling Power Consumption and Temperature in TLM Models

International audienceMany techniques and tools exist to estimate the power consumption and the temperature map of a chip. These tools help the hardware designers develop power efficient chips in the presence of temperature constraints. For this task, the application can be ignored or at least abstracted by some high level scenarios; at this stage, the actual embedded software is generally not available yet. However, after the hardware is defined, the embedded software can still have a significant influence on the power consumption; i.e., two implementations of the same application can consume more or less power. Moreover, the actual software powe

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip

International audienceSystemC is becoming a de-facto standard for the early simulation of Systems-on-a-chip (SoCs). It is a parallel language with a scheduler. Testing a SoC written in SystemC implies that we execute it, for some well chosen data. We are bound to use a particular deterministic implementation of the scheduler, whose specification is non-deterministic. Consequently, we may fail to discover bugs that would have appeared using another valid implementation of the scheduler. Current methods for testings SoCs concentrate on the generation of the inputs, and do not address this problem at all. We assume that the selection of relevant data is already done, and we generate several schedulings allowed by the scheduler specification. We use dynamic partial-order reduction techniques to avoid the generation of two schedulings that have the same effect on the system's behavior. Exploring alternative schedulings during testing is a way of guaranteeing that the SoC description, and in particular the embedded software, is scheduler-independent, hence more robust. The technique extends to the exploration of other non-fully specified aspects of SoC descriptions, like timing

AreaCast: une communication par zone dans les réseaux de capteurs sans fil

International audienceAreaCast est un mécanisme d'adressage logique dans un voisinage visant à améliorer la robustesse à tout type de protocole unicast. AreaCast se base sur la notion de relai implicite tandis que le relayage unicast se base sur le choix explicite du relais. Tout en étant indépendant du protocole de routage choisi, AreaCast utilise des informations topologiques et de routage pour permettre une communication par zone : un nœud relai explicite choisi comme prochain saut par la couche routage et k nœuds relais implicites qui s'auto-sélectionnent en fonction de leur proximité au nœud relai explicite. Ce mécanisme utilise la "sur-écoute" pour exploiter la communication de type "broadcast" inhérente aux transmissions sans fil. Sans changer le protocole de routage ni échange de paquets supplémentaires, AreaCast permet de contourner dynamiquement un nœud défectueux ou un lien instable. Les résultats de simulation, modélisant finement la consommation énergétique, montrent qu'AreaCast améliore significativement le taux de livraison tout en étant un bon compromis entre efficacité et consommation énergétique

Automatic State Reaching for Debugging Reactive Programs

In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), September 2003, Ghent. cs.SE/0309027AADEBUG 2003 Ghent - September 8 - 10th, 2003Reactive systems are made of programs that permanently interact with their environment. Debuggers generally provide support for data and state inspection, given a sequence of inputs. But, because the reactive programs and their environments are interdependent, a very useful feature is to be able to go the other way around; namely, given a state, obtain a sequence of inputs that leads to that state. This problem is equivalent to the general verification of safety properties, which is notoriously undecidable in presence of numeric variables. However, a lot of progress has been done in recent years through the development of model checking and abstract-interpretation-based techniques.In this article, we take advantage of those recent advances to implement a fully automatic state reaching capability inside a debugger of reactive programs. To achieve that, we connect a debugger, a verification tool, and a testing tool. One of the key contributions of our proposal is the proper handling of numeric variables

Anthropocène : Plan B, création de connaissances pour répondre aux enjeux sociétaux de manière soutenable dans les limites planétaires

De nombreuses recherches et en particulier celles sur les limites planétaires ont montré que nous dépassons actuellement plusieurs limites globales, ce qui questionne fortement la soutenabilité de nos sociétés contemporaines à forte empreinte écologique. Cette prise de conscience se généralise et a fait croître à une vitesse importante les attentes sociétales de visions alternatives à un futur basé sur le seul progrès technologique et/ou une croissance économique infinie.Nous souhaitons faire face à ces constats et aux attentes qu’ils génèrent, sans greenwashing et sans nous en remettre à une croissance verte que nous savons impossible depuis longtemps et notamment par les travaux commandités par le Club de Rome. Impossibilité qui a été rappelée récemment à notre mémoire par une note de l’UE. Pour cela nous souhaitons engager l’UGA dans la construction, sur le long terme, d’une communauté scientifique transdisciplinaire. Nous proposons de développer des recherches complémentaires et alternatives à celles basées sur la double hypothèse d’un éternel progrès technologique et d’une croissance économique qui serait nécessairement vertueuse sur le plan social. Ces recherches auront pour objectif principal d’appréhender la dimension systémique et complexe des questions de dépassement écologique.Pour cela nous savons que nous pouvons d’ores et déjà appuyer notre démarche sur plusieurs collectifs de personnels et d’étudiants nés spontanément dans différentes structures de l’UGA. Leur diversité de profils et de disciplines constitue un atout précieux pour construire une approche transdisciplinaire. Nous pensons donc qu’il est utile et pertinent d’essayer de fédérer ces initiatives dans une démarche collective commune de production de connaissances

Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates

Il n'y a pas, à ma connaissance, de règle communément admise sur ce qui peut constituer un document d'habilitation à diriger des recherches. Il est bon, toutefois, de s'interroger sur la finalité d'un tel document, outre la satisfaction personnelle de rassembler et d'organiser des idées jusque là encore un peu dispersées. Il m'a semblé qu'un exposé purement technique n'était pas de nature à mettre en valeur l'aptitude à organiser, orienter des recherches, sans même parler de les diriger. Il apparaissait donc qu'il fallût plutôt présenter une démarche, un ensemble structuré de motivations, montrer comment les problèmes étaient apparus, comment s'effectuent les choix et comment les travaux sont articulés. Vaste programme... La difficulté de l'exercice réside dans le fait qu'il est impossible de présenter une démarche indépendamment du sujet technique sur lequel elle s'est exercée, lorsque cette démarche s'est forgée de pair avec le sujet. Le présent document revêt donc un certain caractère autobiographique dans l'exposé de l'approche suivie et de ses évolutions, en particulier lorsqu'il s'agit de reconnaître les influences extérieures qui ont orienté mon travail. Cela me paraît toutefois relever de la plus élémentaire honnêteté intellectuelle et mériter, à ce titre, de figurer ici. Ce document n'a pas d'ambition de présentation synthétique d'un domaine de recherche, ce qui serait présomptueux. Ce n'est pas non plus un document très technique présentant un ensemble de résultats fondamentaux. J'aimerais plutôt y démontrer une certaine cohérence des directions suivies, et comment les résultats convergent. Ce n'est au fond qu'une mise en forme des réflexions que m'inspirent dix années de travail qui, certes, ont conduit à la définition et à l'implantation d'un langage, mais qui, surtout, constituent mon apprentissage du métier d'enseignant/chercheur. L'essentiel des travaux d'écrits, toutefois, concernent la définition et l'implantation d'un langage de programmation synchrone baptisé ARGOS, pour la modélisation et la validation dessystèmes dits "réactifs", et ce document devrait pouvoir constituer, au moins pendant un certain temps, le document de référence sur ARGOS

Modélisation et validation des systèmes réactifs : un langage synchrone à base d'automates

Il n'y a pas, à ma connaissance, de règle communément admise sur ce qui peut constituer un document d'habilitation à diriger des recherches. Il est bon, toutefois, de s'interroger sur la finalité d'un tel document, outre la satisfaction personnelle de rassembler et d'organiser des idées jusque là encore un peu dispersées. Il m'a semblé qu'un exposé purement technique n'était pas de nature à mettre en valeur l'aptitude à organiser, orienter des recherches, sans même parler de les diriger. Il apparaissait donc qu'il fallût plutôt présenter une démarche, un ensemble structuré de motivations, montrer comment les problèmes étaient apparus, comment s'effectuent les choix et comment les travaux sont articulés. Vaste programme... La difficulté de l'exercice réside dans le fait qu'il est impossible de présenter une démarche indépendamment du sujet technique sur lequel elle s'est exercée, lorsque cette démarche s'est forgée de pair avec le sujet. Le présent document revêt donc un certain caractère autobiographique dans l'exposé de l'approche suivie et de ses évolutions, en particulier lorsqu'il s'agit de reconnaître les influences extérieures qui ont orienté mon travail. Cela me paraît toutefois relever de la plus élémentaire honnêteté intellectuelle et mériter, à ce titre, de figurer ici. Ce document n'a pas d'ambition de présentation synthétique d'un domaine de recherche, ce qui serait présomptueux. Ce n'est pas non plus un document très technique présentant un ensemble de résultats fondamentaux. J'aimerais plutôt y démontrer une certaine cohérence des directions suivies, et comment les résultats convergent. Ce n'est au fond qu'une mise en forme des réflexions que m'inspirent dix années de travail qui, certes, ont conduit à la définition et à l'implantation d'un langage, mais qui, surtout, constituent mon apprentissage du métier d'enseignant/chercheur. L'essentiel des travaux d'écrits, toutefois, concernent la définition et l'implantation d'un langage de programmation synchrone baptisé ARGOS, pour la modélisation et la validation dessystèmes dits "réactifs", et ce document devrait pouvoir constituer, au moins pendant un certain temps, le document de référence sur ARGOS

Argos: un langage graphique pour la conception, la description et la validation des systemes reactifs

SIGLEINIST T 71050 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Let us not put all our eggs in one basket

International audienceToward new research directions in computer science